1. Complexity theory : current research
پدیدآورنده : edited by Klaus Ambos-Spies, Steven Homer, Uwe Schoning
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Computational complexity
رده :
QA
267
.
7
.
C656
2. Logic for computer scientists
پدیدآورنده : Schoning, Uwe, 5591-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Logic, Symbolic and mathematical,، Logic programming
رده :
QA
9
.
S363
1989
3. Logic for computer scientists /
پدیدآورنده : Uwe Schöning.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logic programming.,Logic, Symbolic and mathematical.,logique.,programmation en logique.,Logique symbolique et mathématique.,Programmation logique.,31.80 applications of mathematics.,Datenverarbeitung,Informatik,Logic programming.,Logic programming.,Logic, Symbolic and mathematical.,Logic, Symbolic and mathematical.,Logik,Logique symbolique et mathématique.,Logische Programmierung,Programmation logique.
رده :
QA9
.
S363
1989
4. Theoretische Informatik kurz gefasst [kurzgefasst]
پدیدآورنده : von Uwe Schöning
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computable functions.,Machine theory.,Theory of computer science.,Computable functions.,Informatik.,Machine theory.,Theoretische Informatik,Theoretische Informatik.,Theorie.
